$\forall$$T$:Type, $m$, $n$:$\mathbb{Z}$, $f$:(\{$m$..$n$$^{-}$\}$\rightarrow$$T$). $f$\{$m$..$n$$^{-}$\} $\in$ $T$ List